Momba: JANI Meets Python

Jani Salmi , Monika Österberg , Per Stenius

JANI: Quantitative Model and Tool Interaction

The formal analysis of critical systems is supported by a vast space of modelling formalisms and tools. The variety of incompatible formats and tools however poses a significant challenge to practical adoption as well as continued research. In this paper, we propose the Jani model format and tool interaction protocol. The format is a metamodel based on networks of communicating automata and has...

Cardiovascular actions of python bradykinin and substance P in the anesthetized python, Python regius.

The cardiovascular actions of python bradykinin (BK) and substance P (SP) have been investigated in the anesthetized ball python, Python regius. Bolus intra-arterial injections of python BK (0.03-3 nmol/kg) produced concentration-dependent increases in arterial blood pressure, heart rate (HR), and cardiac output concomitant with small decreases in systemic resistance and stroke volume. Intra-ar...

Automatische Bewertung von Python-Anwendungen(Automatic Evaluation of Python Applications)

The Department of Computer Science at the University of Applied Sciences in Trier has been using and further developing a system for automatic software evaluation (ASB) for several years. The ASB system is a web application which allows students to submit solutions to programming exercises within a set time frame. The solutions can be automatically evaluated with the help of various measures. T...

Co-array Python: A Parallel Extension to the Python Language

A parallel extension to the Python language is introduced that is modeled after the Co-Array Fortran extensions to Fortran 95. A new Python module, CoArray, has been developed to provide co-array syntax that allows a Python programmer to address co-array data on a remote processor. An example of Jacobi iteration using the CoArray module is shown and corresponding performance results are presented.